{int} count2 (x:xs) {int n}  =      {count2 xs} ( n )
{int} count2 (2:xs) {int n}  =  n + {count2 xs} (n+1)
{int} count2   []   {}  =  0